SVT: Schema Validation Tool for Microsoft SQL-Server

نویسندگان

  • Ernest Teniente
  • Carles Farré
  • Toni Urpí
  • Carlos Beltrán
  • David Gañán
چکیده

We present SVT, a tool for validating database schemas in SQL Server. This is done by means of testing desirable properties that a database schema should satisfy. To our knowledge, no commercial relational DBMS provides yet a tool able to perform such kind of validation.

برای دانلود رایگان متن کامل این مقاله و بیش از 32 میلیون مقاله دیگر ابتدا ثبت نام کنید

ثبت نام

اگر عضو سایت هستید لطفا وارد حساب کاربری خود شوید

منابع مشابه

UDC 004.43 A Generator of SQL Schema Specifications

IIS*Case is an integrated CASE tool that supports the automation and intelligent support of complex and highly formalized design and programming tasks in the development of an information system. IIS*Case, as a tool from the class of domain oriented design environments, generates relational database schemas in 3 normal form with all relevant data constraints. SQL Generator is an IIS*Case tool t...

متن کامل

A generator of SQL schema specifications

IIS*Case is an integrated CASE tool that supports the automation and intelligent support of complex and highly formalized design and programming tasks in the development of an information system. IIS*Case, as a tool from the class of domain oriented design environments, generates relational database schemas in 3 normal form with all relevant data constraints. SQL Generator is an IIS*Case tool t...

متن کامل

Sql Server Compare Two Databases Structure

Comparing two databases that were upgraded from Sql Server 2008 R2 to Sql Schema & Data Comparison work well when Sql Client is 2012 SP1, but not. Diffing Your Microsoft SQL Server Database Structures It was lightning-fast, taking less than 8 seconds to compare two databases on different servers. SQL server database project creation using Visual Studio 2013, Author: The work is tougher when we ...

متن کامل

Applying Constraint Logic Programming to SQL Test Case Generation

We present a general framework for generating SQL query test cases using Constraint Logic Programming. Given a database schema and a SQL view defined in terms of other views and schema tables, our technique generates automatically a set of finite domain constraints whose solutions constitute the test database instances. The soundness and correctness of the technique w.r.t. the semantics of Exte...

متن کامل

XQuery in Relational Database Systems

Relational database systems (and the related standards body ANSI/INCITS H2) are busy adding XML support. One of the main components of such XML extensions will be support for the upcoming XML query language XQuery. The presentation will outline how XQuery and XML conceptually fit into a relational database environment. It will cover the organization of the XML in the database, how to type it us...

متن کامل

ذخیره در منابع من


  با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید

عنوان ژورنال:

دوره   شماره 

صفحات  -

تاریخ انتشار 2004